Amalgams of Free Inverse Semigroups
نویسندگان
چکیده
We study inverse semigroup amalgams of the form S U T where S and T are free inverse semigroups and U is an arbitrary nitely generated inverse subsemigroup of S and T. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows that the word problem for a semigroup amalgam S U T is in general undecidable, even if S and T have decidable word problem, U is a free semigroup, and the membership problem for U in S and T is decidable. We also obtain a number of results concerning the structure of such amalgams. We obtain conditions for the D-classes of such an amalgam to be nite and we show that the amalgam is combinatorial in such a case. For example every one-relator amalgam of this type has nite D-classes and is combinatorial. We also obtain information concerning when such an amalgam is E-unitary: for example every one relator amalgam of the form Inv < A B : u = v > where A and B are disjoint and u (resp. v) is a cyclically reduced word over AA ?1 (resp. B B ?1) is E-unitary.
منابع مشابه
On the decidability of the word problem for amalgamated free products of inverse semigroups
We study inverse semigroup amalgams [S1, S2;U ], where S1 and S2 are finitely presented inverse semigroups with decidable word problem and U is an inverse semigroup with decidable membership problem in S1 and S2. We use a modified version of Bennett’s work on the structure of Schützenberger graphs of the R-classes of S1 ∗U S2 to state sufficient conditions for the amalgamated free products S1 ∗...
متن کاملA Topological Approach to Inverse and Regular Semigroups
Work of Ehresmann and Schein shows that an inverse semigroup can be viewed as a groupoid with an order structure; this approach was generalized by Nambooripad to apply to arbitrary regular semigroups. This paper introduces the notion of an ordered 2-complex and shows how to represent any ordered groupoid as the fundamental groupoid of an ordered 2-complex. This approach then allows us to constr...
متن کاملInverse Semigroups Acting on Graphs
There has been much work done recently on the action of semigroups on sets with some important applications to, for example, the theory and structure of semigroup amalgams. It seems natural to consider the actions of semigroups on sets ‘with structure’ and in particular on graphs and trees. The theory of group actions has proved a powerful tool in combinatorial group theory and it is reasonable...
متن کاملAmalgams of inverse semigroups and reversible two-counter machines
We show that the word problem for an amalgam [S1, S2;U,ω1, ω2] of inverse semigroups may be undecidable even if we assume S1 and S2 (and therefore U) to have finite R-classes and ω1, ω2 to be computable functions, interrupting a series of positive decidability results on the subject. This is achieved by encoding into an appropriate amalgam of inverse semigroups 2-counter machines with sufficien...
متن کامل